Knihy od autora Reiner Hähnle

Zobrazené 1 – 12 z 12 výsledkov

1. 

   Handbook of Tableau Methods

   M. D'Agostino, Dov M. Gabbay, Reiner Hähnle, J. Posegga | Springer, 1999

   
   

   Skladom u dodávateľa v malom množstve - Odosielame za 12 - 15 dní

   Jazyk: Angličtina

   Väzba: Pevná

   276.48 €

   Kúpiť
2. 

   Automated Reasoning

   Jürgen Giesl, Reiner Hähnle | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2010

   
   

   Skladom u dodávateľa - Odosielame za 9 - 13 dní

   Jazyk: Angličtina

   Väzba: Brožovaná

   141.15 €

   Kúpiť
3. 

   Verification of Object-Oriented Software. The KeY Approach

   Bernhard Beckert, Reiner Hähnle, Peter H. Schmitt | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2007

   
   

   Skladom u dodávateľa v malom množstve - Odosielame za 12 - 15 dní

   Jazyk: Angličtina

   Väzba: Brožovaná

   139.21 €

   Kúpiť
4. 

   Tests and Proofs

   Bernhard Beckert, Reiner Hähnle | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2008

   
   

   Skladom u dodávateľa v malom množstve - Odosielame za 12 - 15 dní

   Jazyk: Angličtina

   Väzba: Brožovaná

   70.67 €

   Kúpiť
5. 

   Formal Methods for Components and Objects

   Elena Giachino, Reiner Hähnle, Frank S. de Boer, Marcello M. Bonsangue | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2013

   
   

   Skladom u dodávateľa v malom množstve - Odosielame za 12 - 15 dní

   Jazyk: Angličtina

   Väzba: Brožovaná

   64.44 €

   Kúpiť
6. 

   Theorem Proving with Analytic Tableaux and Related Methods

   Peter Baumgartner, Reiner Hähnle, Joachim Posegga | Springer, Berlin, 1995

   
   

   Skladom u dodávateľa v malom množstve - Odosielame za 12 - 15 dní

   Jazyk: Angličtina

   Väzba: Brožovaná

   70.67 €

   Kúpiť
7. 

   Leveraging Applications of Formal Methods, Verification, and Validation

   Reiner Hähnle, Jens Knoop, Tiziana Margaria, Dietmar Schreiner | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2012

   
   

   Skladom u dodávateľa v malom množstve - Odosielame za 12 - 15 dní

   Jazyk: Angličtina

   Väzba: Brožovaná

   70.67 €

   Kúpiť
8. 

   Machine Learning for Dynamic Software Analysis: Potentials and Limits

   Amel Bennaceur, Reiner Hähnle, Karl Meinke | Springer International Publishing AG, 2018

   
   

   Skladom u dodávateľa v malom množstve - Odosielame za 12 - 15 dní

   Jazyk: Angličtina

   Väzba: Brožovaná

   83.13 €

   Kúpiť
9. 

   Fundamental Approaches to Software Engineering

   Reiner Hähnle, Wil M. P. van der Aalst | Springer Nature Switzerland AG, 2019

   
   

   Skladom u dodávateľa v malom množstve - Odosielame za 12 - 15 dní

   Jazyk: Angličtina

   Väzba: Brožovaná

   76.90 €

   Kúpiť
10. 

    Deductive Software Verification: Future Perspectives

    Bernhard Beckert, Mattias Ulbrich, Reiner Hähnle, Richard Bubel | Springer Nature Switzerland AG, 2020

    
    

    Skladom u dodávateľa v malom množstve - Odosielame za 12 - 15 dní

    Jazyk: Angličtina

    Väzba: Brožovaná

    70.67 €

    Kúpiť
11. 

    Handbook of Tableau Methods

    M. D'Agostino, Dov M. Gabbay, Reiner Hähnle, J. Posegga | Springer, 2010

    
    

    Skladom u dodávateľa v malom množstve - Odosielame za 12 - 15 dní

    Jazyk: Angličtina

    Väzba: Brožovaná

    276.48 €

    Kúpiť
12. 

    Deductive Software Verification - The KeY Book

    Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Reiner Hähnle, Peter H. Schmitt, Mattias Ulbrich | Springer International Publishing AG, 2016

    
    

    Skladom u dodávateľa v malom množstve - Odosielame za 12 - 15 dní

    Jazyk: Angličtina

    Väzba: Brožovaná

    164.23 €

    Kúpiť

Získali sme ocenenie Shop roka 2014 - finalista. Zistite viac